1. Gentzen calculi for modal propositional logic

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Proposition (Logic) ; Propositional calculus. ;